א0-categorical Structures: Endomorphisms and Interpretations
نویسندگان
چکیده
We extend the Ahlbrandt–Ziegler analysis of interpretability in א0-categorical structures by showing that existential interpretation is controlled by the monoid of self–embeddings and positive existential interpretation of structures without constant endomorphisms is controlled by the monoid of endomorphisms in the same way as general interpretability is controlled by the automorphism group.
منابع مشابه
An Algebraic Preservation Theorem for א0-categorical Quantified Constraint Satisfaction
We prove an algebraic preservation theorem for positive Horn definability in א0-categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define a periomorphism of a structure to be a homomorphism from the periodic power of the structure to the structure itself. Our preservation theorem states that, over an א0-categorical stru...
متن کاملא0-categorical Strongly Minimal Compact Complex Manifolds
Essential א0-categoricity; i.e., א0-categoricity in some full countable language, is shown to be a robust notion for strongly minimal compact complex manifolds. Characterisations of triviality and essential א0-categoricity are given in terms of complex-analytic automorphisms, in the simply connected case, and correspondences in general. As a consequence it is pointed out that an example of McMu...
متن کاملApplications of Kolmogorov complexity to computable model theory
In this paper we answer the following well-known open question in computable model theory. Does there exist a computable not א0-categorical saturated structure with a unique computable isomorphism type? Our answer is affirmative and uses a construction based on Kolmogorov complexity. With a variation of this construction, we also provide an example of an א1-categorical but not א0-categorical sa...
متن کاملFinite satisfiability and ℵ0-categorical structures with trivial dependence
The main subject of the article is the finite submodel property for א0-categorical structures, in particular under the additional assumptions that the structure is simple, 1-based and has trivial dependence. Here, a structure has the finite submodel property if every sentence which is true in the structure is true in a finite substructure of it. It will be useful to consider a couple of other f...
متن کاملIndependence and the finite submodel property
We study a class C of א0-categorical simple structures such that every M in C has uncomplicated forking behavior and such that definable relations in M which do not cause forking are independent in a sense that is made precise; we call structures in C independent. The SU-rank of such M may be n for any natural number n > 0. The most well-known unstable member of C is the random graph, which has...
متن کامل